Summary:

• Q3 2025 saw steady progress across IOE projects, with a strong focus on scalability, assurance, and community collaboration
• UTXO-HD reached key integration milestones for efficient ledger storage, while Leios advanced through its first CIP and ecosystem prototypes
• Plutus Core v.1.50.0.0 delivered major tooling and performance updates, and the Cardano High Assurance team…

概要

• Hydra v1で、プロトコルが本番環境に対応したという重要なマイルストーンを達成 
• Cardanoのセキュリティ保証を維持しつつ、低遅延のオフチェーントランザクション処理を実現
• 最新リリースでは、機能完備のHydra Headプロトコルと主要な安定性、相互運用性、APIの改善を導入
• Midnight Glacier Drop環境下で実際の使用を通じて検証済み
• 開発者はCardanoでHydraベースのアプリケーションを構築、テスト、デプロイできる
• ロードマップは安全性、支払い、可観測性の向上、ツールの改善にフォーカス
• 次のフェーズは、Cardanoエコシステム全体および外部ビルダーによる協力とフィードバック

Cardanoエコシステムが進化する中で、スケーラビリティが最重要事項かつ機会に含まれることは変わらない。Hydra…

概要

• Leiosは、Input | Output ResearchからInput | Output Engineeringへと移行
• CIP-0164に対する建設的なフィードバックを受け、補足説明とコスト分析が進行中
• バグの特定、修正によるシミュレーターの精度向上
• 影響分析の結果は、提案された設計によるほとんどのCardanoエコシステムシステムへの影響が、最小限に抑えられると示唆
• Blink Labs（Go）は、証明書タイプ、初期ブロック形状、トランザクションハッシュ、通知ミニプロトコルで進展
• 次のステップには、サポート仕様、適合性ガイダンス、反復プロトタイプ、公開ロードマップの可視化、編集者との継続的な関与が含まれる
• 10月29日の公開レビューとデモコールへの参加をコミュニティに呼びかけ

Cardanoのスケーラビリティと透明性を推進し続けるというInput | Output (IO) の継続的なコミットメントの一環として、Ouroboros Leiosプロジェクトは、パフォーマンスにおける次の大きな飛躍を実現すべく、着実に進捗しています。セキュリティや分散性を損なうことなく、スループットと効率性に対処するために開発された Leios は、現在、Input | Output Engineering (IOE…

概要

• Ouroboros Phalanxは、グラインディング攻撃として知られる、ランダム性生成における微妙ながらも重要な脆弱性に対処することで、Cardanoのコンセンサスの基盤を強化 
• 検証可能遅延関数（VDF）を導入してエポックをまたいだランダム性の構築方法を拡張することで、Phalanxはそのような攻撃のコストを指数関数的に高め、実質的に不可能なものにする
• このアップグレードは、セキュリティを強化するだけでなく、パフォーマンスも改善し、トランザクションの決済時間を最大30％短縮
• Ouroboros Praosの拡張機能として構築されたPhalanxは、既存のシステムとの完全な互換性を維持しながら、Perasのような将来のスケーラビリティ向上に向けてネットワークを準備することを目指す

Ouroboros Praosは、検証可能ランダム関数（VRF）を使用してブロックを追加するためのスロットリーダーを公平に選出する。これで、セキュリティ、公平性、分散性が保証される。しかし、(CPS)0021:Ouroboros Randomness Manipulation（Ouroboros…

Cardanoノードで実行されるスマートコントラクトを実際のレベルで形式検証することが可能になり、抽象モデルや表層ループで推論するのではなく、UPLC（Untyped Plutus Core）を直接操作することができるようになった。 

UPLCを直接対象とすることで、ソース言語を問わずコントラクトの検証が可能になる。これには、Plinth、Aiken、Plutarchの他、Plutus Coreコンパイルパイプラインを対象とする将来の言語も含まれる。

UPLCレベルにおけるここまでの証明自動化と分析は、これまでCardanoで実現されたことはない。 

…